Test of number-swapping

This is a repeat of the first section but with numbers in theorem heads swapped to the left.

Ahlfors' Lemma gives the principal criterion for obtaining lower bounds on the Kobayashi metric.

Ahlfors' Lemma 2   Let ds2 = h(z)$\lvert$dz$\rvert^{2}_{}$ be a Hermitian pseudo-metric on Dr, hC2(Dr), with ω the associated (1, 1)-form. If Ric $\nolimits$ωω on Dr, then ωωr on all of Dr (or equivalently, ds2dsr2).

Lemma 2.1 (negatively curved families)   Let {ds12,..., dsk2} be a negatively curved family of metrics on Dr, with associated forms ω1, ..., ωk. Then ωiωr for all i.

Then our main theorem:

Theorem 2.1   Let dmax and dmin be the maximum, resp. minimum distance between any two adjacent vertices of a quadrilateral Q. Let σ be the diagonal pigspan of a pig P with four legs. Then P is capable of standing on the corners of Q iff

σ$\displaystyle \sqrt{{d_{\max}^2+d_{\min}^2}}$. (2)

Corollary 2.2   Admitting reflection and rotation, a three-legged pig P is capable of standing on the corners of a triangle T iff ([*]) holds.